A Petri Net-based life cycle cost analysis approach
نویسندگان
چکیده
منابع مشابه
Life-Cycle Inheritance: A Petri-Net-Based Approach
Inheritance is one of the key issues of object-orientation. The inheritance mechanism allows for the definition of a subclass which inherits the features of a specific superclass. This means that methods and attributes defined for the superclass, are also available for objects of the subclass. Existing methods for object-oriented modeling and design, abstract from the dynamic behavior of object...
متن کاملA Petri-net Model for Operational Cycle in SCADA Systems
Supervisory control and data acquisition (SCADA) system monitors and controls industrial processes in critical infrastructures (CIs) and plays the vital role in maintaining the reliability of CIs such as power, oil, and gas system. In fact, SCADA system refers to the set of control process, which measures and monitors sensors in remote substations from a control center. These sensors usually ha...
متن کاملA Slicing-based Approach to Enhance Petri Net Reachability Analysis
Journal of Research and Practice in Information Technology, Vol. 32, No. 2, May 2000 131 Copyright© 2000, Australian Computer Society Inc. General permission to republish, but not for profit, all or part of this material is granted, provided that the JRPIT copyright notice is given and that reference is made to the publication, to its date of issue, and to the fact that reprinting privileges we...
متن کاملTermination Analysis of Active Rules -A Petri Net Based Approach
Active rules allow software systems behave auto matically when relevant events take place. Due to unstructured rule processing, it is necessary to inspect behavior characteris tics such as termination which guarantees that rule processing finishes. In this paper we introduce potential termination concept which gives valuable information about those rules whose processing may not terminate durin...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Institution of Mechanical Engineers, Part F: Journal of Rail and Rapid Transit
سال: 2018
ISSN: 0954-4097,2041-3017
DOI: 10.1177/0954409718780106